Decision Procedures: An Algorithmic Point of View (Softcover Reprint of the Original 2nd 2016)
Decision Procedures: An Algorithmic Point of View (Softcover Reprint of the Original 2nd 2016)
By Daniel Kroening, Ofer Strichman
Paperback
AED
280
39
AED 414.00
32% OFF
Free Delivery14 - 24 Mar
Model Checking, Second Edition
Model Checking, Second Edition
By Edmund M Clarke, Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Hardcover
(24)
AED
359
09
AED 597.00
39% OFF
Free Delivery13 - 19 Mar
Need Help?
+971 6 731 0280
support@gzb.ae
About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice
VisaMastercardCash on Delivery

© 2025 White Lion General Trading LLC. All rights reserved.